Nominal Models of Linear Logic

PhD thesisMore than 30 years after the discovery of linear logic, a simple fully-complete model has still not been established. As of today, models of logics with type variables rely on di-natural transformations, with the intuition that a proof should behave uniformly at variable types. Consequently, the interpretations of the proofs are not concrete. The main goal of this thesis was to shift from a 2-categorical setting to a first-order category. We model each literal by a pool of resources of a certain type, that we encode thanks to sorted names. Based on this, we revisit a range of categorical constructions, leading to nominal relational models of linear logic. As these fail to prove fully-complete, we revisit the fully-complete game-model of linear logic established by Melliès. We give a nominal account of concurrent game semantics, with an emphasis on names as resources. Based on them, we present fully complete models of multiplicative additive tensorial, and then linear logics. This model extends the previous result by adding atomic variables, although names do not play a crucial role in this result. On the other hand, it provides a nominal structure that allows for a nominal relationship between the Böhm trees of the linear lambda-terms and the plays of the strategies. However, this full-completeness result for linear logic rests on a quotient. Therefore, in the final chapter, we revisit the concurrent operators model which was first developed by Abramsky and Melliès. In our new model, the axiomatic structure is encoded through nominal techniques and strengthened in such a way that full completeness still holds for MLL. Our model does not depend on any 2-categorical argument or quotient. Furthermore, we show that once enriched with a hypercoherent structure, we get a static fully complete model of MALL

Production of Multiple Brain-Like Ganglioside Species Is Dispensable for Fas-Induced Apoptosis of Lymphoid Cells

Activation of an acid sphingomyelinase (aSMase) leading to a biosynthesis of GD3 disialoganglioside has been associated with Fas-induced apoptosis of lymphoid cells. The present study was undertaken to clarify the role of this enzyme in the generation of gangliosides during apoptosis triggered by Fas ligation. The issue was addressed by using aSMase-deficient and aSMase-corrected cell lines derived from Niemann-Pick disease (NPD) patients. Fas cross-linking elicited a rapid production of large amounts of complex a- and b-series species of gangliosides with a pattern and a chromatographic behavior as single bands reminiscent of brain gangliosides. The gangliosides were synthesized within the first ten minutes and completely disappeared within thirty minutes after stimulation. Noteworthy is the observation that GD3 was not the only ganglioside produced. The production of gangliosides and the onset of apoptotic hallmarks occurred similarly in both aSMase-deficient and aSMase-corrected NPD lymphoid cells, indicating that aSMase activation is not accountable for ganglioside generation. Hampering ganglioside production by inhibiting the key enzyme glucosylceramide synthase did not abrogate the apoptotic process. In addition, GM3 synthase-deficient lymphoid cells underwent Fas-induced apoptosis, suggesting that gangliosides are unlikely to play an indispensable role in transducing Fas-induced apoptosis of lymphoid cells

Social stress increases the susceptibility to infection in the ant Harpegnathos saltator

Aggressive interactions between members of a social group represent an important source of social stress with all its negative follow-ups. We used the ponerine ant Harpegnathos saltator to study the effects of frequent aggressive interactions on the resistance to different stressors. In these ants, removal or death of reproducing animals results in a period of social instability within the colony that is characterized by frequent ritualized aggressive interactions leading to the establishment of a new dominance structure. Animals are more susceptible to infections during this period, whereas their resistance against other stressors remained unchanged. This is associated with a shift from glutathione-S-transferase activities towards glutathione peroxidase activities, which increases the antioxidative capacity at the expense of their immune competence

Nutritional Asymmetries Are Related to Division of Labor in a Queenless Ant

Eusocial species exhibit pronounced division of labor, most notably between reproductive and non-reproductive castes, but also within non-reproductive castes via morphological specialization and temporal polyethism. For species with distinct worker and queen castes, age-related differences in behavior among workers (e.g. within-nest tasks versus foraging) appear to result from physiological changes such as decreased lipid content. However, we know little about how labor is divided among individuals in species that lack a distinct queen caste. In this study, we investigated how fat storage varied among individuals in a species of ant (Dinoponera australis) that lacks a distinct queen caste and in which all individuals are morphologically similar and capable of reproduction (totipotent at birth). We distinguish between two hypotheses, 1) all individuals are physiologically similar, consistent with the possibility that any non-reproductive may eventually become reproductive, and 2) non-reproductive individuals vary in stored fat, similar to highly eusocial species, where depletion is associated with foraging and non-reproductives have lower lipid stores than reproducing individuals. Our data support the latter hypothesis. Location in the nest, the probability of foraging, and foraging effort, were all associated with decreased fat storage

Field template-based design and biological evaluation of new sphingosine kinase 1 inhibitors

Purpose: Sphingosine kinase 1 (SK1) is a protooncogenic enzyme expressed in many human tumours and is associated with chemoresistance and poor prognosis. It is a potent therapy target and its inhibition chemosensitises solid tumours. Despite recent advances in SK1 inhibitors synthesis and validation, their clinical safety and chemosensitising options are not well described. In this study, we have designed, synthesised and tested a new specific SK1 inhibitor with a low toxicity profile. Methods: Field template molecular modelling was used for compound design. Lead compounds were tested in cell and mouse cancer models. Results: Field template analysis of three known SK1 inhibitors, SKI-178, 12aa and SK1-I, was performed and compound screening identified six potential new SK1 inhibitors. SK1 activity assays in both cell-free and in vitro settings showed that two compounds were effective SK1 inhibitors. Compound SK-F has potently decreased cancer cell viability in vitro and sensitised mouse breast tumours to docetaxel (DTX) in vivo, without significant whole-body toxicity. Conclusion: Through field template screening, we have identified a new SK1 inhibitor, SK-F, which demonstrated antitumour activity in vitro and in vivo without overt toxicity when combined with DTX

Plasma sphingosine-1-phosphate is elevated in obesity

Background: Dysfunctional lipid metabolism is a hallmark of obesity and insulin resistance and a risk factor for various cardiovascular and metabolic complications. In addition to the well known increase in plasma triglycerides and free fatty acids, recent work in humans and rodents has shown that obesity is associated with elevations in the bioactive class of sphingolipids known as ceramides. However, in obesity little is known about the plasma concentrations of sphinogsine-1-phosphate (S1P), the breakdown product of ceramide, which is an important signaling molecule in mammalian biology. Therefore, the purpose of this study was to examine the impact of obesity on circulating S1P concentration and its relationship with markers of glucose metabolism and insulin sensitivity. Methodology/Principal Findings: Plasma S1P levels were determined in high-fat diet (HFD)-induced and genetically obese (ob/ob) mice along with obese humans. Circulating S1P was elevated in both obese mouse models and in obese humans compared with lean healthy controls. Furthermore, in humans, plasma S1P positively correlated with total body fat percentage, body mass index (BMI), waist circumference, fasting insulin, HOMA-IR, HbA1c (%), total and LDL cholesterol. In addition, fasting increased plasma S1P levels in lean healthy mice. Conclusion: We show that elevations in plasma S1P are a feature of both human and rodent obesity and correlate with metabolic abnormalities such as adiposity and insulin resistance

Exogenous Ether Lipids Predominantly Target Mitochondria

Ether lipids are ubiquitous constituents of cellular membranes with no discrete cell biological function assigned yet. Using fluorescent polyene-ether lipids we analyzed their intracellular distribution in living cells by microscopy. Mitochondria and the endoplasmic reticulum accumulated high amounts of ether-phosphatidylcholine and ether-phosphatidylethanolamine. Both lipids were specifically labeled using the corresponding lyso-ether lipids, which we established as supreme precursors for lipid tagging. Polyfosine, a fluorescent analogue of the anti-neoplastic ether lipid edelfosine, accumulated to mitochondria and induced morphological changes and cellular apoptosis. These data indicate that edelfosine could exert its pro-apoptotic power by targeting and damaging mitochondria and thereby inducing cellular apoptosis. In general, this study implies an important role of mitochondria in ether lipid metabolism and intracellular ether lipid trafficking

Sphingosine Kinase 1 Regulates the Akt/FOXO3a/Bim Pathway and Contributes to Apoptosis Resistance in Glioma Cells

The aim of this study was to investigate the mechanism through which Sphingosine kinase-1 (SPHK1) exerts its anti-apoptosis activity in glioma cancer cells. We here report that dysregulation of SPHK1 alters the sensitivity of glioma to apoptosis both in vitro and in vivo. Further mechanistic study examined the expression of Bcl-2 family members, including Bcl-2, Mcl-1, Bax and Bim, in SPHK1-overexpressing glioma cells and revealed that only pro-apoptotic Bim was downregulated by SPHK1. Moreover, the transcriptional level of Bim was also altered by SPHK1 in glioma cells. We next confirmed the correlation between SPHK1 and Bim expression in primary glioma specimens. Importantly, increasing SPHK1 expression in glioma cells markedly elevated Akt activity and phosphorylated inactivation of FOXO3a, which led to downregulation of Bim. A pharmacological approach showed that these effects of SPHK1 were dependent on phosphatidylinositol 3-kinase (PI3K). Furthermore, effects of SPHK1 on Akt/FOXO3a/Bim pathway could be reversed by SPHK1 specific RNA interference or SPHK1 inhibitor. Collectively, our results indicate that regulation of the Akt/FOXO3a/Bim pathway may be a novel mechanism by which SPHK1 protects glioma cells from apoptosis, thereby involved in glioma tumorigenesis

Hypertension Is Associated with Marked Alterations in Sphingolipid Biology: A Potential Role for Ceramide

Background Hypertension is, amongst others, characterized by endothelial dysfunction and vascular remodeling. As sphingolipids have been implicated in both the regulation of vascular contractility and growth, we investigated whether sphingolipid biology is altered in hypertension and whether this is reflected in altered vascular function. Methods and Findings In isolated carotid arteries from spontaneously hypertensive rats (SHR) and normotensive Wistar-Kyoto (WKY) rats, shifting the ceramide/S1P ratio towards ceramide dominance by administration of a sphingosine kinase inhibitor (dimethylsphingosine) or exogenous application of sphingomyelinase, induced marked endothelium-dependent contractions in SHR vessels (DMS: 1.4±0.4 and SMase: 2.1±0.1 mN/mm; n = 10), that were virtually absent in WKY vessels (DMS: 0.0±0.0 and SMase: 0.6±0.1 mN/mm; n = 9, p Conclusions Hypertension is associated with marked alterations in vascular sphingolipid biology such as elevated ceramide levels and signaling, that contribute to increased vascular tone

Global gene expression profile progression in Gaucher disease mouse models

<p>Abstract</p> <p>Background</p> <p>Gaucher disease is caused by defective glucocerebrosidase activity and the consequent accumulation of glucosylceramide. The pathogenic pathways resulting from lipid laden macrophages (Gaucher cells) in visceral organs and their abnormal functions are obscure.</p> <p>Results</p> <p>To elucidate this pathogenic pathway, developmental global gene expression analyses were conducted in distinct <it>Gba1 </it>point-mutated mice (V394L/V394L and D409 V/null). About 0.9 to 3% of genes had altered expression patterns (≥ ± 1.8 fold change), representing several categories, but particularly macrophage activation and immune response genes. Time course analyses (12 to 28 wk) of INFγ-regulated pro-inflammatory (13) and IL-4-regulated anti-inflammatory (11) cytokine/mediator networks showed tissue differential profiles in the lung and liver of the <it>Gba1 </it>mutant mice, implying that the lipid-storage macrophages were not functionally inert. The time course alterations of the INFγ and IL-4 pathways were similar, but varied in degree in these tissues and with the <it>Gba1 </it>mutation.</p> <p>Conclusions</p> <p>Biochemical and pathological analyses demonstrated direct relationships between the degree of tissue glucosylceramides and the gene expression profile alterations. These analyses implicate IFNγ-regulated pro-inflammatory and IL-4-regulated anti-inflammatory networks in differential disease progression with implications for understanding the Gaucher disease course and pathophysiology.</p